Constructing provable programs for arithmetic of natural numbers in binary representation
نویسندگان
چکیده
منابع مشابه
investigating the integration of translation technologies into translation programs in iranian universities: basis for a syllabus design in translation technology
today, information technology and computers are indispensable tools of any profession and translation technologies have become an indispensable part of translator’s workstation. with the increasing demands for high productivity and speed as well as consistency and with the rise of new demands for translation and localization, it is necessary for translators to be familiar with market demands an...
Computing with Hereditarily Binary Natural Numbers
Can we do arithmetic in a completely different way, with a radically different data structure? Could this approach provide practical benefits, like operations on giant numbers while having an average performance similar to traditional bitstring representations? Our Hereditarily binary numbers introduced in this paper provide compact tree-representations of the largest known prime number and its...
متن کاملA parametric representation of fuzzy numbers and their arithmetic operators
Direct implementation of extended arithmetic operators on fuzzy numbers is computationally complex. Implementation of the extension principle is equivalent to solving a nonlinear programming problem. To overcome this difficulty many applications limit the membership functions to certain shapes, usually either triangular fuzzy numbers (TFN) or trapezoidal fuzzy numbers (TrFN). Then calculation o...
متن کاملOn the Arithmetic of Recursively Run-length Compressed Natural Numbers
We study arithmetic properties of a new treebased number representation, Recursively run-length compressed natural numbers, defined by applying recursively a run-length encoding of their binary digits. Our representation supports novel algorithms that, in the best case, collapse the complexity of various computations by superexponential factors and in the worse case are within a constant factor...
متن کاملThe Natural Chain of Binary Arithmetic Operations and Generalized Derivatives
This paper presents a graded hierarchy or chain of binary operations on the reals and the complex numbers. The operations are related distributively in the sense that any one of them distributes over the next lower operation in the chain. For one particular operation we explore specific properties and derive results, including several useful formulas and identities. Next, the operation is exten...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Программные системы: теория и приложения
سال: 2018
ISSN: 2079-3316
DOI: 10.25209/2079-3316-2018-9-4-509-560